Security Systems for Distributed Models in Ptolemy II
نویسنده
چکیده
Ptolemy II is a powerful software package that models heterogeneous systems. Its infrastructure offers the ability to create distributed models, but lacks the security mechanisms to protect data being transferred in these models. The lack of security can lead to many potential threats and breaches of information. Potential attackers can jeopardize system stability by manipulating data in transit or by transmitting harmful models. Distributed models may also pass security sensitive data where outside parties should not be able to determine the information being passed. The current infrastructure however has no means to keep such information secure from eavesdropping. Eliminating these security threats requires the implementation of various cryptographic services including ciphers and digital signatures. The Sun Java Cryptography Architecture and Java Cryptography Extension packages provide the tools needed in eliminating these breaches of security. The semantics used by the abovementioned Java packages allow for the creation of actors in which a diverse number of algorithms can be used with minimal knowledge of cryptography. By creating Ptolemy II actors that implement cryptographic services, we achieve a flexible yet, powerful defense of potential security leaks in distributed models. The result is being able to send and receive data Ptolemy II distributed models without the concern of information leaks or receiving adverse applications.
منابع مشابه
Modeling Distributed Hybrid Systems in Ptolemy II
Ptolemy II [2] supports the modeling of heterogeneous systems by using a hierarchical component-based architecture and well-defined models of computation. The basic component in Ptolemy II is called an actor. Actors have por t s , which are their communication interface to other actors. An aggregation of actors and their connections is called a comp o s i t e ac tor . A composi te actor can hav...
متن کاملA Time-Centric Model for Cyber-Physical Applications
The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the...
متن کاملCode Generation for PTIDES Models
PTIDES is a programming model for distributed real-time embedded systems. PTIDES builds on Discrete-Event (DE) semantics and leverages a global notion of time throughout distributed platforms. Applications expressed in PTIDES models can be designed without any knowledge about the hardware platform upon which it is implemented, thus completely decoupling the design from the implementation. To br...
متن کاملCo-simulation of Event-B and Ptolemy II Models via FMI
In the framework of model-based design formal modelling, verification and simulation of safety-critical systems are supported by several methods and tools. Interfacing these tools often becomes challenging for heterogeneous systems. The FMI standard enables integration of different simulation tools through artefacts called Functional Mockup Units (FMU) [1]. The FMI standard is mainly based on t...
متن کاملCode Generation for Discrete Event Controllers in Ptolemy II
The goal of this project is to provide a code generation framework for discrete event (DE) control models for cyberphysical systems (CPS) in Ptolemy II [1]. This framework should be as generic and platform independent as possible. The generated code should be tested on a target platform. Ptolemy offers the possibility to embed the generated code into the simulation environment. The generated co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003